-
1 леммы
General subject: lemmata -
2 леммы накачки
Information technology: pumping lemmas -
3 доказательство Теоремы 2.1 разобьём на ряд, состоящий из семи лемм (от Леммы 2 .1 до Леммы
Mathematics: 2.7) the proof of Theorem 2.1 is arranged as a series of seven Lemmas (Lemma 2.1 to Lemma 2.7)Универсальный русско-английский словарь > доказательство Теоремы 2.1 разобьём на ряд, состоящий из семи лемм (от Леммы 2 .1 до Леммы
-
4 взвешенная форма леммы
Mathematics: weighted form of lemmaУниверсальный русско-английский словарь > взвешенная форма леммы
-
5 доказательство леммы закончено
Mathematics: the proof of the lemma is finishedУниверсальный русско-английский словарь > доказательство леммы закончено
-
6 доказательство леммы окончено
Mathematics: the proof of the lemma is finishedУниверсальный русско-английский словарь > доказательство леммы окончено
-
7 мы начнём доказательство с леммы
Mathematics: we begin the proof with a lemmaУниверсальный русско-английский словарь > мы начнём доказательство с леммы
-
8 наше доказательство, в основном, повторяет доказательство Леммы 2 из [1]
Mathematics: our proof follows along the lines of Lemma 2 of [1]Универсальный русско-английский словарь > наше доказательство, в основном, повторяет доказательство Леммы 2 из [1]
-
9 оставшаяся часть леммы
Универсальный русско-английский словарь > оставшаяся часть леммы
-
10 остальная часть Леммы 2 следует из весьма простых вычислений
Универсальный русско-английский словарь > остальная часть Леммы 2 следует из весьма простых вычислений
-
11 остаток леммы
-
12 следствие Леммы 3
Mathematics: assertion (i) is a consequence of Lemma 3 -
13 утверждение леммы о накачке
Programming: statement of the pumping lemmaУниверсальный русско-английский словарь > утверждение леммы о накачке
-
14 эти три леммы и образуют доказательство теоремы 2
Mathematics: the three lemmas constitute the proof of Theorem 2Универсальный русско-английский словарь > эти три леммы и образуют доказательство теоремы 2
-
15 взвешенная форма леммы
weighted form of lemma матем.Русско-английский научно-технический словарь Масловского > взвешенная форма леммы
-
16 lemmas
Леммы -
17 pumping lemmas
-
18 лемма
(см. также теорема, доказывать, доказательство) lemma• Доказательство леммы окончено. - The proof of the lemma is finished.• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы начнем с (формулировки) леммы. - We begin with a lemma.• Нам требуются (нижеследующие) две леммы. - We require two lemmas.• Оставшаяся часть леммы... - The rest of the lemma follows by a very easy calculation.• Что и доказывает лемму. - This proves the lemma. -
19 2.7) the proof of Theorem 2.1 is arranged as a series of seven Lemmas
Математика: доказательство Теоремы 2.1 разобьём на ряд, состоящий из семи лемм (от Леммы 2.1 до Леммы (Lemma 2.1 to Lemma 2.7)Универсальный англо-русский словарь > 2.7) the proof of Theorem 2.1 is arranged as a series of seven Lemmas
-
20 the proof of the lemma is finished
Универсальный англо-русский словарь > the proof of the lemma is finished
См. также в других словарях:
Леммы — Первая страница «Лемм» на английском языке (1897). «Леммы» книга, приписываемая Архимеду арабским ученым Сабитом ибн Куррой. Книга написана более 2200 лет назад и состоит из 15 теорем о кругах и окружностях. Содержание … Википедия
Лемма о накачке для регулярных языков — В теории формальных языков, лемма о накачке для регулярных языков описывает существенное свойство всех регулярных языков. Неформально она утверждает, что все достаточно длинные слова регулярного языка можно накачать, то есть повторить внутреннюю… … Википедия
Лемма Куратовского — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхнюю грань, содержит максимальный элемент. Лемма … Википедия
Лемма Куратовского — Цорна — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхную грань, содержит максимальный элемент. Лемма носит… … Википедия
Лемма о разрастании — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку… … Википедия
Лемма Накаямы — важная техническая лемма в коммутативной алгебре и алгебраической геометрии, следствие правила Крамера. Она имеет множество эквивалентных формулировок. Вот одна из них: Пусть R коммутативное кольцо с единицей 1, I идеал в R, а M… … Википедия
Граница Плоткина — Граница Плоткина в теории кодирования определяет предел мощности двоичного кодa длины и минимального расстояния . Содержание 1 Формулировка … Википедия
Лемма о накачке — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку имеет… … Википедия
Лемма Шуры-Буры — Лемма Шуры Буры принятое в научной школе П. С. Александрова название для следующего элементарного утверждения общей топологии, касающегося свойств компактных пространств: Пусть открытое подмножество компактного пространства … Википедия
Лемма Гейне — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… … Википедия
Лемма Золотарёва — В теории чисел, Лемма Золотарёва утверждает, что символ Лежандра для целого по модулю нечётного простого числа р, которое не разделяет a, можно вычислить как знак перестановки: где ε обозначает знак перестановки и π является перестановкой… … Википедия